Skip to content

Conversation

dsprenkels
Copy link
Contributor

Closes #33455.

@rust-highfive
Copy link
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Member

@bors: r+ 7ffd46c

Thanks!

Manishearth added a commit to Manishearth/rust that referenced this pull request Jun 29, 2016
bors added a commit that referenced this pull request Jun 30, 2016
Rollup of 11 pull requests

- Successful merges: #34355, #34446, #34459, #34460, #34467, #34495, #34497, #34499, #34513, #34536, #34542
- Failed merges:
@bors bors merged commit 7ffd46c into rust-lang:master Jun 30, 2016
@dsprenkels dsprenkels deleted the issue-33455 branch June 30, 2016 09:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants